More from this Author

Logic Program Synthesis and Transformation

by Tim P. Clement (Editor), K. L. Lau (Editor), C. J. van Rijsbergen (Editor)

Logic Program Synthesis and Transformation, Manchester 1991

by T. P. Clement (Editor), K. L. Lau (Editor)